#ifndef PORT_GPIO_H
#define PORT_GPIO_H 

#include <stdint.h>

void gpio_init(void);
void gpio_set(uint8_t ch, uint8_t val);
uint8_t gpio_get(uint8_t ch);

#endif /* PORT_GPIO_H */